🤖 Abstract Machines - abnv · Scour

ZINC — LLM inference engine written in Zig, running 35B models on $550 AMD GPUs 📋Souffle Datalog

reddit.com·4d·r/Zig·

UCStatus Podcast Episode 72: Recent Teams News 🎮Language Ergonomics

ucstatus.com·5h·

Manulife WAM finalises acquisition of Schroders Indonesia arm 🧱WASM Components

finance.yahoo.com·10h·

True Color: The Strange and Spectacular Quest to Define Color--from Azure to Zinc Pink [Audiobook] 💬Interactive REPLs

softarchive.is·2d·

Gold coating could solve long-standing challenge with zinc batteries 🏷️Memory Tagging

techxplore.com·4h·

Inquiry recommends ban on children being used as interpreters for their parents 🗣interpreters

sverigesradio.se·2d·

zolotukhin/zinc: Zig INferenCe Engine — LLM inference for AMD RDNA3/RDNA4 GPUs via Vulkan ⚡Zig

github.com·4d·Hacker News, r/LocalLLaMA, r/Zig·

4 f- 5 d orbital tag-team catalysis empowers high-loading zinc–iodine batteries 🔌Microcontrollers

nature.com·5d·

Zinc-iron layered double hydroxide enhances cadmium tolerance in tobacco via cell wall immobilization and regulation of phenylpropanoid and nitrogen metabolism ✨Effect Inference

sciencedirect.com·4d·

Abstract Semantic Graph 🌳Expression Trees

en.wikipedia.org·1d·Hacker News·

Taking a placebo knowingly still improves stress and memory ✨Effect Inference

google.com·3d·

Review: SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems 🎭Program Synthesis

emptysqua.re·1d·

Understanding AI Language Models Without the Jargon 🔍Parsing Algorithms

medium.com

·1d·

Formal Verification in Any Language for Everybody 🏭Functional Compilers

dev-log.me·2d·Hacker News·

A+ 💬REPL Design

aplwiki.com·2d·Hacker News·

Greatland defines globally significant 70Mt tungsten resource at O’Callaghans 🗑️Stack Scanning GC

finance.yahoo.com·3d·

rahultumpala/dsm: Declarative finite state machines and pipelines 🎭Staged Interpreters

github.com·14h·

Programming languages for AI 📐Standard ML

blog.ploeh.dk·3d·

Formally verifying digital circuits with category theory in Lean 🔗Category Theory

matt.hunzinger.me·5d·r/programming·

NUS-Program-Verification/AutoRocq: Agentic Theorem Prover for Rocq for Program Verification 🎯Symbolic Execution

github.com·5d·Hacker News·

Loading more...